prenex normal form

noun

pre·​nex normal form

ˈprēˌneks-

: a normal form of an expression in the functional calculus in which all the quantifiers are grouped without negations or other connectives before the matrix so that the scope of each quantifier extends to the end of the formula

Word History

Etymology

Late Latin praenexus tied up or bound in front, from Latin prae- pre- + nexus, past participle of nectere to tie, bind

The Ultimate Dictionary Awaits

Expand your vocabulary and dive deeper into language with Merriam-Webster Unabridged.

1. Expanded definitions
2. Detailed etymologies
3. Advanced search tools
4. All ad-free

Discover what makes Merriam-Webster Unabridged the essential choice for true word lovers.

Start Your Free Trial Now